natural deduction
自然演繹
Mathematical logic
Sequent calculus
Gerhard Gentzen
System L (tabular natural deduction)
Argument map, the general term for tree-like logic notation
/suto3/google.iconnatural deduction
image natural deduction
define natural deduction
wikipedia natural deduction
weblio natural deduction
kotobank natural deduction
jisho natural deduction